;;; -*- mode: clojure; coding: utf-8 -*-
;;; https://github.com/edn-format/edn

[-6907988127348104261
 -2854850461277250674
 534244513352255670
 -7155045243591397980
 -2779920069570572290
 2230546032502569970
 277884371034794865
 -4028406026348168447
 -3077073373693174786
 -3436885869877273398
 7313256641121509119
 3432823450664679267
 -764386197034925670
 2019166240091301156
 1597495338634631822
 -4850594382214466361
 5588098119730371271
 5367025619376367358
 2486369005591708209
 6577161791851891565
 -216017721041850474
 -6022619981502780838
 -2930590174962109550
 -636685095562123430
 2593284982073119845
 -1107907942926099633
 -5943659972572677367
 8676764618787608977
 9059612176507346311
 -1433344894399671190
 -5682548740882285947
 5527118776408085704
 -9212746901904213469
 1913391137392572717
 8099467863169239048
 -4319514887216418839
 7469184016474225335
 4609432072675582091
 8986260054257327142
 -733236290765621099
 -4249387137596512367
 -5063566712072302738
 -4294273269178085237
 3263183767723709852
 8795762972595562325
 -2200992380058074318
 -7353776512569659790
 -5378716652108449402
 4892777339486991738
 30542556622769191
 6016633190930304302
 8884318982426207501
 3176178891895253196
 -5299537239387817966
 880779230972002469
 7526888148321352097
 8920843710861199852
 7167294967438052524
 3946572390461986767
 -8978863432087315485
 1655436479062194635
 1668703848335970850
 6824460508493015868
 -2241030906818501078
 8568833154859821107
 -4143749024320164461
 -5985083060376110197
 3300892688127191809
 -2961651318259393986
 789227304284834709
 -9128196451538526220
 2494384297353775014
 -8728967281380556580
 8915483022288280241
 -5042998405035080513
 -9061767984448731507
 -4398067441900462254
 -4228071529827166750
 1104976101788760523
 6738552413430927836
 -2244666839405035082
 18412599846067994
 4689513433466573064
 3832732596729689580
 2142631671582311284
 7766008520639998398
 -5719863563802718979
 4364022662139048910
 -2684226533743139380
 -7073103867870710491
 7583822866161884995
 8000533003204043716
 -6981932230006606255
 7909439679165519644
 -8752762967282845945
 7142602179002984387
 -3888536963901160085
 6574285026206668389
 6825490444226895756
 -4188086460515488264
 8688430937078770902
 -600935998342605517
 -3068227141178249561
 3572480668410168128
 -4206000120288942559
 -2016133928557098065
 -4537105761769028799
 -6686255432619395666
 3812213223645720880
 5310485035483632247
 6615631559382143961
 3040686659768026889
 -3773745031160034629
 5832798372187634970
 5720537470953082111
 -8197484926980247733
 1453136675709924045
 -290241148720986979
 590775368240938970
 -8121753388427546845
 859406320115139397
 -446181861439520263
 -6617343551602483037
 1446037006596862580
 -4237831949252422056
 8678017774472493210
 -108132984360364760
 1411985362378834644
 6393536295240432909
 -5056919076362260255
 1193965756490699594
 5088493390813317646
 -7105853600807369281
 3739291532997780131
 2171221117639397247
 -5333497225162054496
 -147720286762495329
 5730016938826805161
 -1628348679981089968
 813553749175813181
 -5765574693834948560
 8003471932819877422
 8772773813313999836
 2404565982420165197
 -4527428559758900380
 -3027227131572354988
 7323778777984969239
 -8602174305602023953
 8185312451125198973
 3021895166463526111
 470764997704629656
 -1247111810200346520
 -991488910444336335
 -8031981500569990861
 8460808998178561312
 2969117549875252187
 7027821505920515294
 4654698501844983964
 7593550628931861080
 -5035630267119732151
 -7910283217965395837
 -3274088204193949401
 1417302619200653756
 3650751098729202071
 -3842905964134802387
 287955975148442493
 -3489960832897650799
 -7306072749676765623
 -5153999148379230514
 2177068347952500537
 -2873073150273131962
 1983897589470186228
 -1826182846447012315
 -7092842090745377214
 -8118170299973960270
 5903394398585867820
 7304805455584120298
 2292612707673711977
 9064796640413214860
 -5110989836173021220
 2144701943641843454
 -1946346185499340137
 2419758232441398431
 2565013515178442167
 -1422633630874888937
 -1765728604839099221
 -4871176342807160826
 6736905365872976579
 -486055593521986814
 -653976305929323046
 -217332259396744683
 8887435847428258529
 -2521868046951628563
 -4849627468479936494
 -1524876172718983735
 5213475484409792280
 -1169752341793680416
 -2286032822742537227
 -3525584112296049142
 -3665075112533669551
 7419099577055448795
 -3060390629430180493
 579713990328039139
 -4473839442207025559
 -2775422346686584851
 -3077784022074797071
 7905137132436477262
 -6711142638022821624
 -5353507035153788760
 3660392097320804390
 4280153924472156076
 6958800655674535046
 -4041391303883120895
 2153731108833116861
 8738278224145547292
 -8498314088417463015
 -6575886609574470267
 -7476016044304719618
 5022102766001072679
 -2424053387170010664
 8371056102021225066
 -2504237098982127027
 -3226939749543019903
 512845581076858033
 -4987110819404458497
 -3760890887218321729
 -7226366734653193040
 -3052181602122673020
 -5282320780142219098
 4694512728376987294
 6056363397674281361
 -5028260680097437786
 3956681953109350740
 -3266525546507576086
 -5889279395764703788
 -6574848083530480033
 -1230511945545659374
 8671040190682960341
 -791575171315064709
 -56822585387958932
 1805232296284921982
 3256578287061878086
 9007256757068157279
 5655545947540256893
 1203977460413081675
 -1458183917217470121
 -2036988381569116245
 3078980632782007480
 -1457585181253526084
 -7751965142951207721
 1498824543509686367
 -6034553845276519627
 43937661521846829
 4329410129057992137
 1832710540476988622
 2198387142512079743
 -5441576538757968758
 1857029812112354275
 -4024976702869354208
 -4121598704425861607
 -1992013579167447082
 -3901656789766034672
 -8890249602151021871
 -3407395645871016201
 -5162183255354523226
 -1869599497032772113
 7082928603998762800
 -114765033766981631
 -5156791779725219677
 111524331445694545
 2745199387272638945
 -8122685566097599596
 -8727789210322846964
 -1102187096226567745
 -2995443585539116196
 -1469333998533345536
 -4911748226841418447
 -1995616543754788879
 -4440094971347110037
 594907542639504651
 -361209527854665735
 5210245057617113432
 3142655814417796016
 2409810037445406828
 -9013309433908740259
 -8757763453301579883
 615481216739358237
 6933159257378324049
 2589822327766409451
 -4224051898790198785
 -6434969794380289159
 4193865489029662937
 -4437397943257257404
 8995550771171854370
 5720920701262288354
 -2334037263923664485
 5098175970021287838
 4642068684562992187
 8293452734521633606
 -2903562280482939874
 2567821967453248066
 8200160584424469949
 5339533455563248616
 12715876313335902
 7587177465864374031
 -6612846576331772978
 5436795228682002658
 -9217055467376173746
 -5570310688554429195
 6562796784517846986
 6136554571418915485
 -2062326848367232176
 1732709123976854395
 8464693349968525247
 -2075447376979595430
 -9216023811790819650
 673981681437196528
 4380380410750527916
 6303435887108754016
 -6301836452727221677
 1297474452273452796
 4318889514120753669
 997478184026683182
 765280477294016275
 -7084434234197051900
 -1460579063173487406
 -1003972218319891846
 -2401239174543754994
 153231999030429012
 -7526350827801716746
 1750751059643810647
 4697168758138366417
 -694007404329316083
 -7784440374398067769
 7155714191183680693
 -2117217239927282383
 6883264344611827879
 2008335135230080727
 7679377366585466057
 8829350514134796622
 -2635651818570318996
 4760074884699191045
 -6534665457808237891
 1454212733999022123
 6457304782443689704
 1158822428618706390
 -1490774606400075485
 9160545482988816765
 5195286858555774376
 -8287420484270542647
 2478701262011873889
 -4126894283457010978
 -2220435475275546312
 1673550655928587851
 8376198997402585172
 -1131722242395269451
 6224616437910142788
 1041025392493487290
 1726871012632377172
 -1885391131597776040
 -5439254680092153764
 -1197010044598579845
 6203694554366782076
 -4046601607450405916
 -8603810803061369168
 5581188407984288728
 -7070570705854710758
 6687139555012686611
 -898734725984501751
 -7417729911250280661
 2514120717501402609
 -3275965070931490471
 3102448488599797281
 5372428086587043056
 -6960704857959074598
 5749165503830544092
 8620901060564796003
 1649596778554436278
 -5706027297030869568
 -4091811866289586920
 -5456823348146173813
 6437605770739522464
 -4460673081545785748
 6589933847236081904
 -4009002116619712552
 4149946478057317442
 -4960842214969235006
 6994272342809835242
 -4377767320507582801
 3000550270883130197
 -5040439408030301782
 -4507436846438788401
 8832916171634764007
 4984113184792051046
 3502592586235198489
 1115632802343135348
 5503632040863956856
 -69219433755536373
 4080535781755781538
 -7954303052265438018
 -9142387587072278898
 1319938361371480176
 -930651858130581853
 -6567292466961377209
 6487570773358150627
 -5467820616890496705
 -5663876462577871172
 -7493017631941315142
 128281774062836091
 -1826397723943443328
 8972790801470150647
 4629006852244982701
 -2977671342753040366
 -2828778441514383692
 -1462830202811630373
 271356467858163470
 -7816157058150800469
 -5482860284326157389
 -8189808490906928422
 6140055120439806363
 4740746171697096008
 1748625015184023258
 4149322655547916008
 -1962927726829612015
 3248516633360642894
 7396653780676244414
 -2627795018755822699
 8389428584289938637
 3673377859935586065
 -6457438112299824112
 7438465317221402935
 -5491018084960779607
 -2570201927251312150
 -8550646005275961902
 -6539366778998697116
 -5116662600525687840
 8623905205720699501
 6102808342926874357
 585730138038058811
 7512117923854967346
 -4653797403188558567
 2882878561450094436
 4119331628640372439
 -4525162434176070458
 6039592348999230710
 -556002850562190451
 6903966081812247685
 6476394711487802021
 -4082937894962553133
 6792170096122340063
 -7848434744423703812
 7154128023417377339
 870556657802953406
 -3284890754057921558
 3374444236730575781
 2732073888493682416
 8555097862597778707
 -7560593929690147370
 -6877239688744212329
 2785143992218440703
 8435748268321604373
 -8804928430322192196
 1997650742506648491
 -6221745433258804335
 8777590083436617297
 -2801130305271128013
 -157736867831738858
 -8040401197659239606
 6492544236814458680
 -7616469985114915032
 -3210446163796651540
 -2145007920503243138
 -2229366440003037569
 8393946211447325405
 3437189259894210081
 -634863672278723710
 3143088197799018398
 7557887028778016940
 1481128780609102605
 -217060545835635503
 -4286960623356253503
 -2060211946113949435
 -5010633969517510154
 -1183987379305285884
 -5993232215751637813
 -1581549724319477306
 -2571689878407398071
 -817439302339997626
 -8007669260501149513
 1809662041894965107
 -2519356965919891329
 6948921874200786743
 -7748161465506854989
 6507472363554048895
 2695833480873429120
 -6643651712640565062
 -8902225630391440562
 -5799716522243832363
 -9059740764651474850
 7444132781386157802
 -909200173635154942
 709804190837745517
 -7233279315976736031
 -8948529413520377998
 1260483947331149171
 -813407878283862573
 4374783691862506575
 -8137983759016154203
 8150399114742147699
 -1869079050236249662
 -7063472825924110735
 -9189455977988878434
 -8455048820410759333
 5893118614893960565
 2939107261087560447
 2007292003456480586
 -922845290517707543
 8873646476683541132
 -9184818486588337552
 -7357603514293923503
 8977821761273085996
 -3694148682841680920
 -4743327330130165731
 6555207248153820007
 8958456868879573946
 5873674717070091022
 -3159337133836634258
 3256211499583424146
 -4443832400730241529
 -4881459490769872214
 2795939540964826208
 2515502788553684971
 4968985072093044705
 4918554468267966607
 -3109960797968706448
 5460730428171411471
 69219932280141189
 2216561947704038873
 3310593497596413145
 -8574134691698152789
 -4460345561190483013
 -4140317335446089249
 952979174957031854
 -1180642506666914057
 -4014637223195454009
 -3152100039928692876
 -8191402714514276225
 -4224804244640655039
 -6180952706017891294
 -8989690501139267822
 -5752159962162371729
 3999683785856912760
 603774560671304288
 5340653285052530126
 8225189976697111532
 5284138641111682839
 -5159881460281333518
 -2962586730137129722
 -1804634517485419425
 2442791374174592104
 7764462848999519137
 -2188655342968346695
 4405243214797365231
 3604684132921762458
 7452290957321840238
 -5499387190475635135
 -3553861362257473696
 7291575091126138300
 -5844935285472223632
 584699035663890540
 -5400350088554032049
 7836051216793741235
 6170525980122940396
 5177039695292705389
 3775850418996208795
 551486674119199941
 357853480009627621
 -1539757224152939198
 430887301610021699
 -2144578287336635803
 -6167368520057032278
 -1545352896836813747
 -1512362259978497915
 2074166039042872203
 -5263211050268858270
 -1129462243561196189
 -1645917839757272882
 -6364307601114909378
 -1774850455913674603
 1393061150069360147
 2466960830046211478
 -8801492883855875387
 -1302921348008116246
 -7511474715668287800
 7326267867500051360
 -6776280117362311901
 -8316621617142678744
 -2662244875833169511
 -1470530784740455060
 -1441782755578835402
 -7531374337771564504
 -4600322783916453783
 -2718588418178723222
 3875402890153511199
 -2091828124413682631
 5719636588210491639
 -3479321996557905962
 -2012293589361150040
 -5232522786370282982
 1992867595442181142
 5997243521224080083
 4073687997236198152
 -5253438224043425992
 8160521358792570763
 -1765449625336699387
 -5892090869701912633
 -3970816981424019065
 -3181495199057542876
 -3659791239857637847
 6324006639824888356
 -7059585628820770112
 -7351851584792741130
 2548815293419681247
 4728736681742304485
 6914228531793575017
 269744800618552594
 -2254312056772643482
 -8582718831000983966
 -3265065425038248166
 4074441261419894457
 -7162515886122536621
 3926980921618572135
 -4082353200205401854
 -3450532559909519134
 7195862297200019725
 3535034096395135413
 3185254703780377699
 4140193111661420728
 -5546059058255051440
 4503858716223070849
 -3563495085721520622
 -2116052139991991782
 7804625356784938667
 -2901235347016078092
 7551679958343701496
 -7726787819972496870
 5327219070000477186
 -1963316543473342295
 -6505005298850700397
 -3471170510671101569
 -14912317226196724
 1434637394807410737
 6315991863141109877
 1296580104430073666
 -467471333954820906
 7155400498907472786
 4687083487668095684
 -2398350473337550060
 7222927752083548222
 -6958296532110236988
 8206277759105336761
 702186333114073047
 -150950572872682376
 1054935032401385523
 7754709025228162593
 4807838269672789537
 -736141318419289715
 4390300229299614528
 -884966806431072033
 2173040499205574332
 321959987417842903
 -2290108058564627776
 -4966498159202563736
 -2244879779336979160
 -4346628395227809913
 1813016631421460347
 -4125589148759273403
 2526764067340560920
 4072707602792713503
 -1659697307239639378
 -3112153579715153515
 -496836789894445583
 8436047819785724408
 -8000498359613971318
 -3577217611572505720
 -5839840797606778034
 3491350211971983806
 -5415389492522029390
 5565614519857787262
 3942252082230642158
 7443346927633697669
 985277350518329092
 -7189094379626419105
 -1700134055026311998
 -1276148408578747691
 -7084793335336481769
 -5585270979066683978
 -6766960388998043210
 3125812756890970712
 -8221368107976145632
 -3005135500349297680
 -6819441141698778606
 115381734346712099
 -7653371370873144002
 5608731236109013054
 5355258102966985568
 7092231024100507845
 -5199754784572451682
 7147103853646944023
 6647943324121983691
 -9197384524847982662
 1547244678067829869
 -8063434339703371687
 -7442151623503254650
 6729461543634610576
 4838040225905387960
 -3249833795545237607
 -6797750070026271359
 7592755054009883718
 -3953185557901701538
 3610317749257849860
 7547383904429232328
 -6074207105347170289
 1892892055910012194
 -2337049598350602790
 3736396224754740663
 -6034149824653020261
 8854342626241623531
 2505987323926707335
 -2321199132658477215
 -1441875638101882561
 -174446686633630089
 8193992609716830235
 675101167225180909
 2460327121670452508
 -629169189414730043
 1576311936852131747
 -2846921739937136031
 -6494924233857573043
 266460239425943926
 -5386162972014326648
 -3520215684222669093
 6057827058661632653
 -6634413247120541276
 2509435613103023245
 1351019109906155375
 -5992740833564939734
 2411485968158076925
 -1608446667933384920
 2087475310969007620
 5260634525185413732
 -2942903177541316604
 -4609439807028347435
 -5676378790724640017
 5819870985714683081
 -6039520360111400577
 -7983291836404899467
 -2486219269365937412
 3079161536221772736
 7332731894368560146
 -6490295805561488424
 -4157440271988483723
 6929722954269289430
 8374422030160396908
 -5753836402106057571
 2159033012432965446
 -6536962386252586394
 4553624359096807576
 9220651907779870840
 -8048157966058656408
 985496341188849945
 6366210947296685809
 6738713329258274984
 -6291314271583715557
 -653018728836412109
 -7178173903920558303
 3521249386622676731
 6030392749812230453
 -5413999530758248405
 -2896809334166794188
 6882682830576933993
 5636381128673508862
 8580389082671499623
 -2594927109606219293
 -4873794167286932700
 2188102414161101359
 -8510863384019879518
 -6176953336346320122
 -3499393024380404261
 -3019477139690043785
 -8879459324187049483
 -1280775221373085238
 -6652496614426771276
 -6047533762486410212
 -6201616508849833937
 1934872662317845038
 4298389610178937798
 -6028479956288488583
 7893392128216703315
 -2046710472015799164
 -2674215501163314566
 -6821794833066695658
 -430350676526690882
 3126339660256316261
 -395388916436658945
 -7041262455650044134
 2714279000889256453
 8591353631800350941
 7780895014677019630
 2074994935751330457
 -5237822124188547890
 -2275276051275126959
 3591113940937589607
 -5623752221410117222
 -281262211822317382
 3342722020853488969
 7496024841097365612
 8308942730315856155
 -2799039326045147267
 -3472996206960898776
 3524471909540395220
 8168274793523013079
 3975658992508564317
 6136624879226143883
 7336982415853779431
 -1982544059129577076
 -409050341142026306
 3635876157536723416
 -6064615540867192736
 -4490603963851965556
 7434145220188533325
 -2467352265500761426
 -3506782238813970292
 -779027695624513926
 -2036120540250464159
 -1119887114953524924
 7718460245752023595
 -5844550780174630004
 -3406361265920573765
 -8297216540558721914
 -4015999816639321912
 -3526441339468067683
 -754145778766804488
 5552041363900497128
 7022381668887117427
 -4879143066136383003
 -3734796962259023102
 2873950018712307103
 -3592645348986148576
 -9017232954556332830
 -684347881111950962
 5711437010094037493
 1028544606431854915
 -2702743605019914095
 -8407667781796137515
 -3098277959478953778
 -6787578921161755222
 -6403925915507666125
 -9185801091901241966
 -7312895047768398991
 1465677297422327963
 232987906598961778
 -5241015178016849859
 6429182559420750218
 -8991780969968184785
 655223424506299997
 -1803696790212823418
 -6359756637492146008
 -7092819722296783891
 6124957100762810830
 3329056252806406420
 4815162917678080600
 -357515974627870373
 2138503637482758783
 -5974260220001538967
 1248355001608532897
 -4636372911828860812
 2660407647264860300
 4078243174527640491
 438406595443168718
 8402602476773955101
 -2459694444537165656
 8021499237735751649
 7223040547575920784
 -6093553013514441494
 4281691525513622439
 1121381880405491713
 9148319248884212288
 1759874327325374613
 8746484539391282863
 -7892199141747691662
 -240616444102063925
 7320702694036284538
 -5114524891847995531
 2197010415741890768
 3590745251786060435
 -2733464302785979182
 3091962738761115217
 -6803836012120236981
 -4945893301607740888
 6214984198559992469
 938116152520440206
 -6017437905574904329
 7847157470595148181
 -4314018522034665756
 4140909400973377968
 732028080492144294
 6492322039379626033
 4141094176895660917
 2743542316825347483
 -3045043341372179308
 1646432646373984876
 5373084820587184577
 -886714381088275038
 -1722237469881063305
 4060469427934986835
 3108887749062641254
 1350190657000969290
 3060257512628519129
 -6600593125108167540
 -8520836559899671855
 8656408026052213556
 -2720193414127474927
 7394370465925070318
 -9109960388062469616
 382905328101973629
 7086620560911271031
 -8366598810131807947
 8685198922327936421
 -6723008553145474175
 8409582417939882360
 -7274083944910853538
 -7329358997595090629
 2903373801854484702
 641374726425397608
 -6968559429142610869
 -3274565419762509781
 -3141308231346435576
 -1914237854991823246
 -6489519701945799833
 -1609227344552767849
 -6960073414099542850
 3467492706889034892
 1149333669002863205
 4949256577857257115
 -7904575502247984402
 -2832049540050610856
 44232722905745778
 -1961217057608970511
 -8455512890271565044
 -4671957170913866806
 4158641239040618379
 1252344775258200137
 -1065894367965560478
 -1663607066564354067
 -1783446378564777757
 4176130235701558693
 3903021573893199532
 2354676125826268511
 -2305568481272536735
 -5901405915265146146
 228100883742530203
 -5739701964459914800
 3746711975735992095
 7262776562125878047
 -2980134606480722350
 8928057040193606535
 -2958973373258312468
 882552378132477800
 7335867339949856492
 -6124442497442279460
 2663899736622064843
 -6481874843123598068
 -2977769680834496524
 9004741146088516031
 -5166856349474540942
 383930431598611507
 -2315607436244189718
 -2802742885949480912
 -8756377208144550452
 -6970103352652878247
 2310209190282911941
 -6067858995177556796
 -8897056170589258377
 4624521896510801101
 -8402333658511202708
 2784410682333784615
 2380375795067842887
 7050567545672904499
 -6834917412849439428
 -8601511911382904172
 -4900354889839663935
 1301803070751883779
 4070323892699219589
 2965036124700995167
 -2011638878553806431
 -7896659656895083257
 1670957588080042253
 2251288215240792684
 -8540234002987593132
 2067257039282254305
 3568030377772385163
 328354884627959477
 -8750955658820283265
 -9102419901411014014
 7402270094620153645
 124103378082065607
 -2955037043783648394
 -6192705099648786508
 -3898881468972301805
 -8631138398029341115
 -7627226620662994235
 6603248679500148626
 790434303011852753
 -2597518122931682460
 7334716490985828523
 524702589419586571
 6941539904844838385
 -3094094644030017170
 3342673155252021402
 -3591195518887667358
 7292286974646192751
 1204104346264846655
 4807688393407704505
 6861625796354610352
 -4780706879941430725
 2153181158906408395
 -3427191807087878814
 -4036159432077129119
 -778131516707487302
 1254548160005997206
 3443073858476976548
 -3021118317019425613
 -499404267492574906
 5965609423873022522
 1491732660891335618
 3537794088911370810
 -4346349786364457047
 7024550542246882533
 -2595506105529768271
 -1816809505534991265
 5405012994528201894
 -3978858054666785064
 3399119422690077086
 -4792490809577413156
 -8665782808512187536
 8532383802936360681
 175308483030647398
 4858862142466494785
 8607878733475413297
 3348111968164783362
 9190888359282282525
 4276263716151238515
 5787143459738919813
 -1918940458280984417
 -3908964250359364216
 -5130477368821105924
 6838806590061234004
 -175628768942514581
 -4994838430437548645
 -8102420557231803579
 -2695028686136444130
 6066361847934084443
 -2042796229609832020
 -2994729665156539436
 4879430705031024499
 -75288076886575447
 -4746863257860038313
 -791058776714420892
 7806418766873085299
 4641999240230886117
 3951668341746053416
 6599184326430599907
 6828810688848129683
 -8622080666524399251
 1622295711089538083
 -6131506148546492145
 -7000692184906453570
 -3317714078211061771
 -3343562909821438610
 4864132378603422120
 8792415593571269179
 1364080010337666466
 2134564969139763695
 -303000635373841478
 -1546838676016526599
 -6732703391167332253
 -5630511685270096627
 8220689211131180533
 8076528371734613358
 -8608542540235587233
 8985280666246000175
 -5176747793273224075
 4300705873733163501
 -6137335088820511383
 -7658596438123374174
 1710878762250937970
 6410154611562358755
 8017585923935483056
 -7827317693130716105
 3528974034802577023
 1149787839132173996
 2329671375775357088
 -2910769823680242527
 -4935603268563871851
 6733966052541926196
 -3068019095197153410
 -4566727101379543103
 -2983512486828468839
 5727511478586428262
 2315601605546325865
 5627825512342840626
 -8007134929537448899
 -8296634152476143057
 -4664199146187339306
 8910231285129136127
 -5138676697515325534
 1092413094609317954
 -2790289986829187241
 2500852225026661693
 6622751467674756565
 -6806693523445194227
 -4317065005730761504
 -4922903767106803045
 2040607552235867007
 -1757829320968502332
 -2702049349206644733
 1882361368841347551
 -2643129523726916813
 -5385197468857923342
 2400739036312682739
 -3066073561272171797
 7352088809594688632
 -7302026656422726591
 -8836769749234010092
 -412871374787388058
 4426892759279341734
 -3491629380841957572
 6258578927636717871
 -7458555412830068025
 6134382126276789157
 -1124849660432695260
 -6283709366856154950
 6570968245724156593
 -1305865292118144850
 -8858364789965979919
 -5478255507744803940
 7042404788336243417
 -8164440400686935933
 355037247871459158
 6176550705397754111
 -265765699165927490
 -2483083634668415436
 1040199427685413420
 4807967848912521585
 7530478466420892574
 -581672354086336868
 6494060058773112352
 1865437740574317624
 2802520946538453448
 -1703719165699523005
 1572062074635741115
 -4316086143491265227
 -2958638231190418231
 -7354983001055883401
 -1848920778389380137
 96895541933293968
 -8456428007535092532
 -1052582660837133551
 1018605217230982126
 -5582236235921651792
 -5896724642405564754
 -7496890368071764693
 6030927481524597806
 8239899203378770360
 -7055460640863500833
 2316160370768158447
 5824870724676547846
 -5530279637941177223
 6354165285692980249
 -6250882795372930879
 -4638490328596855743
 9137446526930918265
 -415924967176363807
 3892980492651315088
 7905983647833267683
 2734284876069362457
 1367964393195552414
 -7435548515048833344
 -571631591030215538
 -2824502043237783549
 8013032941973626689
 -7406817221989635884
 5502447779514924028
 2719065069158703375
 7418139891550566156
 7783047115731551056
 6308861409293332926
 -2303378478776413686
 -4979788715290937490
 -6394600792837186830
 -5327117381818619594
 -2138897906951502315
 3501015571390507804
 -7841659909887941835
 3505469550712704722
 -9205241815651575708
 -9150511745757227156
 -5309904828522046372
 2258599245493130891
 4372565966651615629
 -6451803669725200186
 6824340526035380199
 3384943510184274334
 2749098874265331204
 -8380663451183423122
 -428196656432164134
 -585203038633252983
 283815982541451539
 -8852707784018874516
 7944780159421496958
 -2681401610155663792
 1327308353789809501
 8999897409043422885
 -4948705983097037359
 -703699915868218370
 6315029570651049766
 6792922906273983182
 -3619369563500419503
 -2828519257603260842
 -6004349187836562678
 371645689999332506
 -3539123480133334240
 597256464684847436
 8005266756850333701
 -6816141591081794680
 -1331611619718911786
 8176051337597501859
 944997443641252736
 -4975288099489788883
 -5547678754174972775
 -6894861341489517174
 3365225264201135534
 8297927604533055870
 -5649610548433252522
 -2181152955089837857
 -6127149216669101922
 1395333338350814569
 6962075768432537372
 7292011058270802653
 575591503155177915
 8679069181477300001
 -8594211815283102401
 -2264133520409324387
 -3509703045548346145
 7252663943760567934
 8819361641240702437
 3004196686791704347
 -7844260057623014780
 -1541736189577897932
 -5330067599281170834
 -1875680464024369387
 2590007567630246312
 3667389424125888294
 6543679910420334749
 -8630761727155985438
 7303666925641377915
 -5313912461968809972
 -1020854781926624678
 -3778179563516545595
 -1931525912307693470
 -7889356346793965475
 1091047699191915644
 2237070502323656412
 6277412703893208331
 -5071506918445269510
 -7150068706385346947
 -7186810504780547260
 1935199115062340032
 2688157618124492077
 -6264580517839508419
 -1592105805784240431
 -5016331666957326561
 -7550385440954063856
 -1175158927234744973
 9139240845468597721
 3757333942246221604
 -4817918236944656940
 8075156759833597474
 6186263254848164592
 8162217547431668478
 5926861017650202815
 -5510498550928516656
 -5503953711176372642
 60681172068291016
 7408744372365268071
 -2618524182815808113
 6238827599115616763
 -7351214677414975576
 2474021562229622190
 -7065443623961877835
 -3900052382555138540
 -7013054705686538582
 2167582532805806549
 -7712933927714694318
 1038522585643872324
 7921510964083918266
 3487490879755034365
 -6720762062171225777
 -5325912786160216594
 -3813845794548906271
 -6062310793983261491
 -2128193850193163578
 7404909727685346812
 -858913246305718076
 6002805694247888449
 -3083140319760187781
 -7363321286879525415
 7523938786453096140
 5852920791682355153
 7820176339425875982
 -7963476845785965139
 62196587872186476
 7302987429946485956
 -2966783876243840232
 -7995040505974526303
 6685980508805795191
 -8042215066409333675
 -826280913386868013
 -6810159121690006108
 -8818511870589446222
 -4147583150934961034
 -367587003041973502
 -1211723738123885680
 -7879369289007318143
 -7029280822270451297
 -4268602879190098715
 -1429561946259389597
 -4108904422452168764
 -2421004456797287606
 5962115628832800282
 252560520497126319
 -46477950759079346
 5880536845117233533
 -6955467651784538509
 -8398951965569787677
 -1520530977529485313
 8392786917415138892
 -5071389680789723956
 -6890577285104737881
 5595175676910905132
 -7319208257805172981
 -7125705684779935687
 7399880686081345689
 -1533208589139727459
 -1876626033639798724
 -8883842350030401014
 7447380433555698316
 8170866870848800308
 218663837088604540
 -1763778772684195198
 7252567532882802850
 7090233687421943740
 -4938726812208288199
 8074721941013325091
 8241510250940987190
 -3833839996695183659
 8183692928886361433
 -7336374390893615122
 5835262698310252421
 -1062702225634710823
 -4854921379164596741
 -5677813840407599661
 -7035048222501898603
 1654680972490855061
 6888296290507492113
 8485619667468179378
 -6920004726121311194
 -8417535351842370825
 2211304090747855564
 -2433419447927469785
 7447455210902832717
 8556742841750813626
 -7990647584265975575
 187680845910896127
 -8538230819110760905
 8159479659776029070
 6081784262206033297
 5730056124520400405
 8108120914336436259
 -3368646001506537009
 6555670566224452982
 -7112928820857467585
 7225804034257053545
 3356420079831329434
 5167765589199269898
 -8013128092623666079
 469900155948924715
 2353482484789722631
 5658877638861898689
 -158969177917232912
 5651532462723930839
 -948111810365626740
 -2979031355793911356
 -246946381290645592
 -246829911212075104
 2120282696477256960
 2411319972235334131
 -5512397596321436392
 -6027282352769972049
 -267038901786606773
 4937886227794632032
 4463761150070926372
 -58578820398136927
 -23914662220115220
 -3064661185702469423
 4935099075011343491
 3667977202571893619
 8315432792619671362
 566234445550570212
 -5287916990391787258
 4757451205415896161
 -4642891144640747713
 -3363364293135908045
 8187292786769537760
 1926489471200413457
 3549601481620761518
 7732383929560356959
 7671566969057464782
 -5744238758939894809
 -4302974057021060456
 417841774284336585
 2435082263729813424
 -4611248872590420649
 2737757288042165830
 142105608530671870
 -9060158101041847831
 -3326883072052965092
 6065906540370161310
 438782582685885760
 -6210168103075375291
 -8024631681568757746
 4488075826147507243
 -8917877984969327229
 4682085109271306038
 6065045881850495057
 -8807972847572928403
 -7518548292159239245
 8360731208655688727
 -503176644620364136
 2942391128046373460
 3059132740979257277
 4704104928816564566
 5597522852450876613
 -2315722189457676311
 8991121638025532839
 -8899009775896601646
 1647151596028699288
 -9004461091099220992
 -442866466483054873
 2372854874367372697
 3203761613186824905
 5790421927297877507
 4056293612098508762
 984366079990719760
 -4797648588727891745
 -1841792599555954828
 2766569882274942173
 -6100362518755071499
 7758106721706622994
 3030389269350362501
 -5594170478761824215
 -6189704802952353645
 6410342975028903848
 -4581193471972943459
 5043904476254162092
 3816587476047245065
 729892398257262296
 1389997900661872693
 -8132053297959427957
 -7029289392673713204
 6194765976467253072
 3372226328927539035
 7341146420417400730
 1194355234090150947
 269700217119870896
 4761173114600176944
 -7987061416850037274
 -8469320343297371478
 -3087059736218008051
 5532409878814254698
 -5544036428475979220
 -2892221094809633328
 -8930251092132283793
 -3881059812365921069
 -725808262686949281
 -7404550589146012072
 5786643071471245651
 -559739264017406520
 3166799687132568614
 -1919214687742640676
 1612326754723145257
 -5729825028572419910
 -932878133415001253
 -8686764300195351227
 -8364184739068746281
 -6579494140191486544
 1668292972090646669
 6865248797101036372
 3112833448988875060
 4183421192329716676
 -2518755514757470849
 -940147801504212195
 -8434818304901412978
 3024432452992690081
 1771863775385337255
 -3161110659746479481
 6658360288713447717
 -8748037934694817268
 -1086231347974565713
 1502615618692757709
 966841870326006189
 -4650911386262514088
 -155458519518079752
 -6166837875205653249
 1784660540545874640
 -3992724199087767312
 -461027087840808430
 5107066392380720258
 7150777011614043818
 -7710359294630566447
 -7293170476328160442
 -2014592978134896244
 -6911397597550480821
 5332332248374954508
 -779663479903135319
 -7215648859061522375
 5727444112540606613
 -669953402417177543
 8703257456070976235
 -4253669289860105150
 -2481923957992830737
 6634730878112317263
 1177471902674546730
 -4032048545973457084
 -3694607131681461851
 -1445746945496440936
 -4827858057037551551
 7439449746087431019
 686779941943775371
 3852636554030827821
 -1208099612835382886
 -3697411261459307827
 -8749651240554168625
 3940689892755561341
 4843217667855729080
 -1449401762238204547
 -5811975118534276866
 -312853488658830938
 -6189706296764324618
 4878236836702263613
 -621516327657462252
 -6500666229732203565
 -585873321423036562
 -544804317333482807
 5021046944935031611
 8111629014363038689
 8292236833307997255
 -6330032306807055704
 2004183018880699619
 -2371804092853823962
 8841350746412528971
 6356625093782367761
 5809812431948183047
 8867881662352352376
 2476124611725032706
 7706618606456358915
 5016503366256664075
 -4097706336353488463
 6119089823704586761
 2399446447864231556
 770536758589326998
 -8338918008039989239
 -4043157483234801126
 -8121679171058931350
 -718390565268238082
 1387551888010896438
 -1992719630320966377
 -3269153153463374476
 4553154368115614505
 1030999939875040968
 3221348676227837982
 -7253478614105104632
 7616450777737004247
 -248883412586689130
 4217168460078631624
 -1664216297453212474
 -6445171650582257533
 -1980537053611321172
 -2739518639342517199
 3345032935260594037
 695746711256005939
 3839141766175834012
 -6774529107221441156
 5327505254361488658
 -2291813954280905193
 5852635830398051069
 -3483507274770136909
 -3363927036511458367
 604356735977568231
 -1629812089042691603
 6690906156484331556
 -2161577331207412080
 6381678700639878912
 -3655410833676803545
 2410322044597868783
 1163469171858272379
 6654819524102997864
 -2316334086315385100
 -1780809437926818329
 3937303473867366185
 -6549255470471043004
 -3531322326989668150
 -4564659463080451617
 334334266939347772
 -8294400013754953614
 3366500941689487940
 -2446840566964030862
 3226059913671434209
 -200258775342476179
 -7366660333281196887
 -6318227328439638996
 7828310168749724489
 -9051417994532077543
 5196211278398360174
 1747386280779607389
 -5841283717033219746
 -1659265167809168071
 1122590788913691363
 4449744205849182332
 1947976914362764880
 -2384640200182276477
 -5662643249351887097
 5908195687366884267
 -6300422535780916294
 -3366606221340907901
 -2771291128846065735
 -4267426972386604912
 -6628362676621703436
 -2954571440706302475
 2396683471685614425
 -9111669802141243218
 -7667899914556997628
 -637165660243880864
 -6875045794582914166
 -8223651164316673334
 1663724404880623653
 8197225423341810843
 -6237214191541821406
 5008231082169914964
 -8907506486136343513
 6751535640100990394
 -1740916089242022769
 -3889449782400276701
 5085660405080317455
 691282679819484008
 6819169341345452648
 -4905686718056824654
 -3151155222985619531
 516103651652414440
 -1110058758326849277
 -2118518645526055582
 6084960746280266790
 -7395578980575456030
 -121058710442450742
 -7395446564612159293
 8629593960192523464
 -7498173638507832206
 2981355729922318778
 6446725521690911261
 2826876419923335121
 6273427502305678251
 -7513776854301648411
 -723355175637381397
 -6945718372271206707
 -6100841349644885745
 6682952093140026352
 -1906250156989917861
 8125986902111485212
 6001386934331600277
 -6716551336149864847
 -7760634403615214925
 -2119145300763883998
 -4471324157553327522
 1481012099184252244
 6561852218959596992
 -2447593399266870023
 3569157662184920915
 149557877625786785
 -6324681424339471981
 -1300136229838508018
 -9016719237424838905
 -3696420187043848842
 -5323258169112597908
 -9008163707823535458
 -4970690252010749046
 123352173721629989
 4360915527776940720
 1867502669628337933
 7771409560192054786
 -1619752207371376244
 -8408815871686691686
 814157874059287938
 -8400923745257417903
 7869222857221007267
 -6316514193936080295
 397446229733231228
 3065782724590181487
 -2344794583407872949
 -2970289159503035567
 -8136941689744052926
 5040949970377187843
 -4029406848342433401
 6520680511129475924
 -7474506184114130913
 -1848200632655834286
 8835695491744297854
 908439757525711872
 6245749720426004321
 -7903827376762947258
 5107085314804125736
 -7040712374466669254
 -9152558372067021860
 2285505382177132115
 1223163981545456252
 7622503913793501905
 3980470293653093180
 -8125917809306468899
 7852007337323973793
 -781669857724105568
 -3206842371505494520
 5250896227409934899
 -7187917412359798738
 -7281738069600170422
 -7335533217355476711
 -1652932596611582607
 1972380202536967667
 2883208029807867492
 13796037239882388
 3256326580244320373
 8339319285590640728
 -8702494481202447711
 -4667056533312818701
 -3783427489978063747
 537236116722206848
 -1657495545800699524
 6133944749596112803
 -2198534408621470832
 -6888997990355097535
 -1819600877105673467
 7323595621534241864
 -1013918253892082808
 -6675974143860372480
 -5833889889277780068
 -3431780954333547306
 7657017143441388337
 6778745369094572893
 -2542507769421145252
 4657270877027560474
 -1910102498702441142
 46176101314467227
 4906129890775396466
 2981045023599687630
 -1561276299525144566
 -6710982681168943985
 -7918652814661357637
 -8542241785201035902
 -5016333606560243817
 -6659823598884570334
 6351902982847474506
 2118750065197074714
 8521655607834476687
 9038572822403199955
 -3743105855083812634
 5255367384444326733
 6440903702595074691
 -2281989934935613646
 4053987116251522185
 3845463096210798632
 -5449567340938917257
 -246984500074876314
 9413066770981602
 7232073605595788682
 8734926450392206692
 -7824639665604344408
 -3693370253599026220
 -4571143746168272474
 -6863658029130151241
 -8168184397840964922
 -1242420998650493707
 576977791700035971
 7850411375100038863
 -7544495339864300639
 4766211402881524752
 5082856934657853311
 -8052694986503498366
 7038328678998991023
 -1665991926045224541
 -541506982700176952
 -8226173824396278632
 3115269696830910330
 136943607054893922
 6363282254257541346
 4289616078317631055
 3825228390214742302
 1866430135807178418
 5482639504903663140
 3013082363475432406
 -2584649367103835953
 8343951375723148079
 7059061582628825658
 -2658166816281870382
 5623500108506255953
 7991043921875852582
 5544563699914374052
 2259377582087196891
 -4564735690101190530
 4696025555205494811
 6750612769928809782
 -7104325022740341760
 9185761892698065860
 -858935455294179003
 -8854660897502432106
 -8074123164138041537
 1830242297991915684
 1362011483615808013
 -8566030868239632190
 -12323304399741938
 8556128097612922420
 -4501120518614525293
 3857792428808185991
 5912596232774316501
 -6465830323612576610
 226723421399196713
 9093732088960155914
 -3180633727460554639
 -4764828670480583777
 -3442501900417860651
 -5124144178135407549
 833652777076488883
 4750408903742996745
 4312794535547507923
 5784728678803742589
 -492032748563418913
 2634408998591639361
 5783547511373730577
 -7830093222622117416
 2149378991723797294
 -7750847433087452223
 8865396797469093298
 -8162345124687969593
 1566903806515297356
 -9174734185934570089
 6444359836901745036
 3471086945083095187
 -3739484359298333734
 -1294881871353609243
 8488915873944646570
 5611027154486927061
 -3097816776899938067
 -611552052627258273
 1081055397157635018
 -8190263089079210752
 5017329703223604365
 -7277048609635198512
 5996119764419342047
 -7540506621705634603
 8574511760691293239
 4657170829584487061
 -8086460927105810032
 6690352726567338220
 8944939477901102172
 4741244120831545120
 -5204698051902408008
 -2098598820822693070
 -5151546228518231328
 -7829475439320518538
 5435942073748512228
 5194834057379619685
 2026136784032388786
 929102548853237928
 6723719952281125083
 3448440197624409984
 -7628433612809820406
 8722124004195967160
 -2713314450450028063
 2041575481854481570
 6820657243729687077
 -2578137962860999429
 -1922079433908678305
 -5401617699274392977
 -7829602854297139576
 6921711838161213952
 5757774432337014351
 -1993707102116313915
 -6355419300511602816
 3880634988743202528
 -5488378227116546752
 -3386757314895556318
 6864544494276136798
 -7756233666130160101
 4597785057226758932
 3162659931374032606
 -2548682666543793268
 5827414134761994596
 -7704255349017865779
 -8579447775657471762
 -1444649248217186578
 -3003997965768494336
 -2812823116753502574
 -6646865778129126883
 -6352930551958497600
 185186019198834289
 6643200260578650020
 4139894429802121294
 8068525919585103727
 7342105874974492441
 -2624286502310960051
 -8368839871125617952
 -5889292553673247797
 -5369661040276464934
 -3301903311554124529
 6720627250801697254
 -3015391232257435586
 8036504862635840239
 -1675897045739282757
 6441423859875445936
 -4929882630350088385
 2843510395484464523
 8810557534404224968
 -6768415807153153894
 1485177627078828754
 -4233350946974863356
 2598721502944234436
 3731553282393108625
 -1934260277825311059
 -5507533562273183105
 1078197873697111855
 1463135697304310677
 330039685620069051
 -972674956297957767
 -931301484724254210
 -3030342828316355778
 -1008931566656275046
 1650292907790298433
 8747825600540951065
 -8789171577929792972
 5093789682288121630
 -937217157241284997
 -5924465441296673316
 -6107964521530211658
 -1285736727497624884
 -2945225217316589922
 5757150665445222042
 1076181282110416148
 -1466570190015335841
 -7795191323880237705
 3907101768043590421
 -6149986211680102859
 -2505029412821862329
 -6308272725848376156
 -6761161138569571832
 4126335019482865170
 -7151218342814234075
 6072471902770155034
 6401839098618625181
 -7375128100498870727
 6281761270948447057
 -7959308201974209888
 -8063110153077249801
 7406733029212520523
 3690682243168999252
 6704822085916395601
 4891862637658551466
 -1758311489386199938
 2904649631444214894
 1027669368092907806
 6053305048744091454
 -4684870949752578021
 -635520800743483887
 -1235972059199758006
 -2392361669630356305
 -7862365991145112575
 5596515626373175140
 -5593631587562891796
 -6238791090841368592
 3986433901384966944
 -31509342539426367
 -1631162417760773264
 766688257827822947
 -3987142025398456065
 -1832918698116902089
 942523442371107862
 -5087262584419654302
 -8739698958666624968
 7756691359951816968
 5451783051570343538
 1479326191297668794
 3475434570515286262
 -832899626181436884
 -3568051199896826902
 -767372388179216085
 1518520004079705981
 8028894905356998093
 -3535226088154671300
 -2082734602724446231
 1372116815542682274
 143039785843804617
 8064440730707440373
 -8549644821577935842
 4039584387033500239
 7762226708347594035
 -237101356292102150
 -6345277410691813531
 -3286312480782957055
 756307916264467154
 -2292900334287905789
 5692798726641198673
 5614595807717759818
 -8424351872432573535
 7013289598520088603
 2170768485960966884
 6608868741276447823
 4217888818194940237
 -817209827535446238
 7624351456572985112
 -8684060795430404534
 -7174372639338127174
 -4903573016398785461
 -7013846847406809254
 -8320818157801703415
 7121624350151629951
 -6893037851482492514
 -717846908553745143
 8238357795926397037
 2627392859763654501
 5537550502438669943
 -7779318797891723012]

